Theorem Subalgebra.mem_star_iff

Modification history