Theorem closedUnderRestriction_iff_id_le

Modification history