[Merged by Bors] - perf(DoldKan/EquivalencePseudoabelian): use suppress_compilation

[grunweg]

Compiling the file takes 14s; the computability is not used anywhere in mathlib.
Speeds up the file by 78%.

---

[grunweg]

CC @joelriou I'm interested in your opinion here: is there a downside to this change I'm not seeing?

[github-actions]

PR summary 83efb54ba8

Import changes

Dependency changes

File	Base Count	Head Count	Change
Mathlib.AlgebraicTopology.DoldKan.EquivalencePseudoabelian	967	970	+3 (+0.31%)

---

Declarations diff

No declarations were harmed in the making of this PR! 🐙

You can run this locally as follows

## summary with just the declaration names:
./scripts/no_lost_declarations.sh short <optional_commit>

## more verbose report:
./scripts/no_lost_declarations.sh <optional_commit>

[grunweg]

!bench

[leanprover-bot]

Here are the benchmark results for commit 83efb54.
There were significant changes against commit f9ab934:

  Benchmark                                                     Metric         Change
  ===================================================================================
+ ~Mathlib.AlgebraicTopology.DoldKan.EquivalencePseudoabelian   instructions   -77.9%

[kim-em]

bors merge

[mathlib-bors]

Build failed (retrying...):

• Build

[mathlib-bors]

Pull request successfully merged into master.

Build succeeded:

• Build
• Lint style