Theorem Algebra.isIntegral_def

Modification history