Theorem Algebra.adjoin_insert_adjoin

Modification history