feat(?): Better support for prod in well_founded#414

eric-wieser wants to merge 1 commit intoleanprover-community:masterleanprover-community/lean:masterfrom

eric-wieser:patch-1eric-wieser/lean:patch-1Copy head branch name to clipboard