Theorem Set.EqOn.inter_preimage_eq

Modification history