mathlib3 documentation

core / init.meta.mk_has_sizeof_instance