Theorem Algebra.IsIntegral.of_finite

Modification history