OAI/NumberTheory/JointDickman/Amplification/SignedRemainderError.lean
1 declarations, 0 contain sorry, 0 declared as axioms
Signed site tests in the removal of the two remainder restrictions
- theorem
OAI.JointDickman.signed_remaining_pair_errorline 11