Theorem Algebra.adjoin_res_eq_adjoin_res

Modification history