Theorem Subalgebra.mem_perfectClosure_iff

Modification history