Theorem NumberField.Units.isMaxRank_fundSystem

Modification history