OAI/Analysis/Cotype/Approximation.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.Cotype.compactMap_approximationline 11 - theorem
OAI.Cotype.compactMap_finiteRank_approximationline 25
OAI/Analysis/Cotype/Approximation.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.Cotype.compactMap_approximation line 11OAI.Cotype.compactMap_finiteRank_approximation line 25