OAI/Analysis/Quantum/DimensionTen/Mod41Model.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

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