chore(positivity): tests for two more extensions#37511

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

grunweg:positivity-ennrealgrunweg/mathlib4:positivity-ennrealCopy head branch name to clipboard