Theorem Algebra.adjoin_insert_zero

Modification history