Theorem Algebra.mem_adjoin_iff

Modification history