Theorem Cardinal.mk_range_eq

Modification history