OAI/Analysis/Cotype/CoefficientArithmetic.lean
1 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.Cotype.coefficient_numerical_contradictionline 10
OAI/Analysis/Cotype/CoefficientArithmetic.lean1 declarations, 0 contain sorry, 0 declared as axioms
OAI.Cotype.coefficient_numerical_contradiction line 10