Theorem Algebra.adjoin_singleton_algebraMap

Modification history