Theorem Set.center_subset_centralizer

Modification history