Theorem Algebra.adjoin_inl_union_inr_eq_prod

Modification history