Theorem Subalgebra.star_mem_star_iff

Modification history