Theorem IsIntegral.sub

Modification history