Theorem Set.natCard_graphOn

Modification history