Theorem Set.ncard_pair

Modification history