Theorem Algebra.adjoin_nat

Modification history