Theorem Cardinal.mk_diff_add_mk

Modification history