Def residual

Modification history

2023-10-12 10:52

Mathlib/Topology/GDelta.lean

chore(Topology/GDelta.lean): rename type variables (#7637) …

Modified residual View on Github →

2023-08-10 19:52

Mathlib/Topology/GDelta.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified residual View on Github →

2023-02-06 07:35

Mathlib/Topology/GDelta.lean

feat: port Topology.GDelta (#2064)

Added residual View on Github →