Theorem Set.ncard_le_one

Modification history