OAI/Analysis/Cotype/PowerGapInverse.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- def
OAI.Cotype.powerGapInverseBoundline 14 - theorem
OAI.Cotype.exists_powerGapInverseline 17
OAI/Analysis/Cotype/PowerGapInverse.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.Cotype.powerGapInverseBound line 14OAI.Cotype.exists_powerGapInverse line 17