Theorem Set.ncard_insert_of_mem

Modification history