Theorem Set.mem_ordConnectedComponent_ordConnectedProj

Modification history