Theorem Set.BijOn.inter_mapsTo

Modification history