Theorem RootPairing.GeckConstruction.isNilpotent_f

Modification history