Theorem mem_integralClosure_iff_mem_fg

Modification history