Theorem NumberField.Units.fun_eq_repr

Modification history