OAI/NumberTheory/JointDickman/Counting/CountingCandidateComparison.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The actual latent counting-ramp entry has a finite prime-feature model
- theorem
OAI.JointDickman.counting_candidate_feature_comparisonline 10