Theorem Cardinal.mk_fintype

Modification history