Theorem Algebra.adjoin_singleton_zero

Modification history