OAI/Analysis/Cotype/CompactMomentAssembly.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.Cotype.moment_clmline 13 - theorem
OAI.Cotype.exists_levelSum_moment_liftline 19
OAI/Analysis/Cotype/CompactMomentAssembly.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.Cotype.moment_clm line 13OAI.Cotype.exists_levelSum_moment_lift line 19