Theorem Cardinal.mk_bounded_set_le

Modification history