OAI/Analysis/Quantum/DimensionTen/Mod139Model.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DimensionTen.Mod139.f line 8
2. def OAI.DimensionTen.Mod139.u0 line 10
3. theorem OAI.DimensionTen.Mod139.initial line 12