Theorem FG_adjoin_singleton_of_integral

Modification history