Theorem RootPairing.GeckConstruction.isSl2Triple

Modification history