Theorem Set.Intersecting.disjoint_map_compl

Modification history