Theorem Algebra.adjoin_eq_of_le

Modification history