Theorem RootPairing.GeckConstruction.lie_h_h

Modification history