OAI/Analysis/Quantum/DimensionTen/Mod131Model.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

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