Theorem Cardinal.ord_aleph0

Modification history