OAI/GroupTheory/PolycyclicRecognition/Algebra/ThreePrimitiveIntegerFamily.lean
1 declarations, 0 contain sorry, 0 declared as axioms
A primitive integral family after removing its common power of three
- theorem
OAI.PolycyclicRecognition.integerFamily_three_primitiveline 9