Theorem Cardinal.mk_range_eq_lift

Modification history