Theorem Subring.mem_centralizer_iff

Modification history