Theorem isIntegral_of_finite

Modification history