Theorem Subalgebra.fg_adjoin_finset

Modification history