Theorem RootPairing.GeckConstruction.lie_h_e

Modification history