fix(frontends/lean/elaborator): bug in recent change
feat(library/data/vector): add vec.is_inhabited theorem
feat(library/classes/inhabited): add dfun_inhabited theorem