Theorem specializes_TFAE

Modification history

2026-10-28 08:06

Mathlib/Topology/Inseparable.lean

chore: decapitalize `TFAE` in theorem names (#45348) …

Deleted specializes_TFAE View on Github →

2023-05-31 07:40

Mathlib/Topology/Inseparable.lean

chore: restore tfae proofs (#4493)

Modified specializes_TFAE View on Github →

2023-01-31 22:16

Mathlib/Topology/Inseparable.lean

feat: port Topology.Inseparable (#1908)

Added specializes_TFAE View on Github →