Theorem Set.eq_restrict_iff

Modification history