Theorem Algebra.adjoin_eq_sInf

Modification history