Theorem Set.restrict_eq

Modification history