Theorem IsIntegral.of_mem_of_fg

Modification history