[Merged by Bors] - perf (Filter.Germ): direct inheritance patterns for instances

[mattrobball]

We replace uses of Function.Surjective.x with terms constructed using direct inheritance from parents.

---

[mattrobball]

!bench

[leanprover-bot]

Here are the benchmark results for commit 09bf169.
There were significant changes against commit 63e3334:

  Benchmark                                                          Metric         Change
  ========================================================================================
+ ~Mathlib.MeasureTheory.Function.ConditionalExpectation.CondexpL1   instructions    -6.2%
+ ~Mathlib.MeasureTheory.Function.ConditionalExpectation.CondexpL2   instructions   -35.8%
+ ~Mathlib.MeasureTheory.Function.LpSpace                            instructions   -13.1%
+ ~Mathlib.Order.Filter.FilterProduct                                instructions   -19.8%
+ ~Mathlib.Order.Filter.Germ                                         instructions   -24.4%

[ChrisHughes24]

bors r+

[bors]

Pull request successfully merged into master.

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

• Build
• Check all files imported
• Lint style