Theorem Set.ncard_strictMono

Modification history