Theorem Set.center_units_subset

Modification history