Theorem Algebra.isIntegral_sup

Modification history