Theorem Algebra.discr_isUnit_of_basis

Modification history