Theorem Set.mem_centralizer_iff

Modification history