Theorem isIntegral_of_mem_of_FG

Modification history