OAI/NumberTheory/Ostmann/Characters/QuartetSignClassification.lean
1 declarations, 0 contain sorry, 0 declared as axioms
Classifying a balanced action supported on at most two quartet leaves
- theorem
OAI.Ostmann.quartetSign_classificationline 9