OAI/Analysis/Cotype/FiniteLevelTower.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- def
OAI.Cotype.FiniteLevelLiftline 10 - theorem
OAI.Cotype.exists_finiteLevel_towerline 15
OAI/Analysis/Cotype/FiniteLevelTower.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.Cotype.FiniteLevelLift line 10OAI.Cotype.exists_finiteLevel_tower line 15