Theorem Algebra.adjoin_prod_le

Modification history