Theorem Cardinal.max_aleph_eq

Modification history