feat: Add error function (erf) and complementary error function (erfc)#34053

christian-oudard wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

christian-oudard:feat/erf-functionchristian-oudard/mathlib4:feat/erf-functionCopy head branch name to clipboard