mathlib documentation

core / init.meta.mk_dec_eq_instance