Theorem Algebra.isIntegral_of_finite

Modification history