Theorem RootPairing.GeckConstruction.lie_e_f_ne

Modification history