Theorem NumberField.Units.even_torsionOrder

Modification history