OAI/Analysis/Cotype/PowerGapScaling.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.Cotype.exists_powerGapScaleline 14 - theorem
OAI.Cotype.exists_scaled_powerGapInverseline 24
OAI/Analysis/Cotype/PowerGapScaling.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.Cotype.exists_powerGapScale line 14OAI.Cotype.exists_scaled_powerGapInverse line 24