OAI/NumberTheory/JointDickman/Amplification/ArithmeticFeatureComparison.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The separated arithmetic kernel has a finite-feature approximation
- theorem
OAI.JointDickman.geometric_arithmetic_feature_comparisonline 13