Theorem Set.MapsTo.restrict_eq_codRestrict

Modification history