OAI/MathematicalPhysics/AlternatingFlow/DecoderNames.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AlternatingNS.Effective.decoderBound line 14
2. lemma OAI.AlternatingNS.Effective.rat_fract line 21
3. lemma OAI.AlternatingNS.Effective.frac_cast line 24
4. lemma OAI.AlternatingNS.Effective.periodizer_named line 27
5. lemma OAI.AlternatingNS.Effective.decoder_named line 39
6. lemma OAI.AlternatingNS.Effective.Named.decoder line 53