Theorem RootPairing.GeckConstruction.lie_e_f_same

Modification history