Theorem Set.MapsTo.inter_bijOn

Modification history