Theorem RootPairing.GeckConstruction.ω_mul_e

Modification history