Theorem Algebra.adjoin_int

Modification history