Theorem RootPairing.GeckConstruction.ω_mul_h

Modification history