Theorem NumberField.Units.basisOfIsMaxRank_apply

Modification history