Theorem RootPairing.GeckConstruction.ω_mul_ω

Modification history