Theorem IsIntegral.of_finite

Modification history