Theorem Cardinal.ord_one

Modification history