OAI/NumberTheory/JointDickman/Probability/SitePairFirstLaw.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The first coefficient and remaining sets at two independent sites
- theorem
OAI.JointDickman.sitePair_first_lawline 10