feat(meta/environment): the equations that lead to a given definition are now accessible in Lean code#393

cipher1024 wants to merge 3 commits intomasterleanprover-community/lean:masterfrom

defn-specleanprover-community/lean:defn-specCopy head branch name to clipboard