Theorem NumberField.Units.regOfFamily_of_isMaxRank

Modification history