Theorem Algebra.adjoin_insert_one

Modification history