Theorem RootPairing.GeckConstruction.isNilpotent_e

Modification history