Commit 2023-05-31 07:40 a9f98890

View on Github →

chore: restore tfae proofs (#4493)

Estimated changes

Modified Mathlib/Order/Height.lean

Modified Mathlib/Topology/Inseparable.lean

modified theorem specializes_TFAE

Modified Mathlib/Topology/Order/Basic.lean

Modified Mathlib/Topology/Separation.lean

Modified Mathlib/Topology/UniformSpace/UniformConvergence.lean