Theorem Cardinal.mk_bool

Modification history