Theorem Cardinal.aleph_eq_aleph'

Modification history