Theorem Algebra.adjoin_top

Modification history