Theorem Algebra.adjoin_mono

Modification history