Theorem NumberField.Units.regulator_eq_regOfFamily_fundSystem

Modification history