Theorem Cardinal.ord_strictMono

Modification history