Theorem Set.restrict_eq_restrict_iff

Modification history