Theorem Algebra.adjoin_union_coe_submodule

Modification history