Theorem Algebra.adjoin_singleton_one

Modification history