chore: remove MathlibTest/fun_prop.lean#39261

grunweg wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

grunweg:funpropdocgrunweg/mathlib4:funpropdocCopy head branch name to clipboard