Theorem RootPairing.GeckConstruction.lie_e_f_mul_ω

Modification history