Theorem Set.ncard_subtype

Modification history