Theorem Algebra.adjoin_insert_algebraMap

Modification history