Theorem Algebra.adjoin_algebraMap_image_union_eq_adjoin_adjoin

Modification history