Theorem Algebra.adjoin_union_eq_adjoin_adjoin

Modification history