Theorem isGδ_irrational

Modification history

2024-02-15 19:01

Mathlib/Topology/Instances/Irrational.lean

chore(Topology/GDelta): use new-style dot notation (#10583) …

Deleted isGδ_irrational View on Github →

2023-05-23 07:30

Mathlib/Topology/Instances/Irrational.lean

feat: port Topology.Instances.Irrational (#4244)

Added isGδ_irrational View on Github →