Theorem Algebra.adjoin_image

Modification history