Theorem NumberField.Units.basisOfIsMaxRank_fundSystem

Modification history