Theorem RootPairing.GeckConstruction.lie_h_f

Modification history