Theorem Real.mem_closure_iff

Modification history

2024-05-31 00:19

Mathlib/Topology/Instances/Real.lean

chore: fix formatting of many misplaced "by"s (#13204)

Modified Real.mem_closure_iff View on Github →

2023-03-06 08:38

Mathlib/Topology/Instances/Real.lean

feat: port Topology.Instances.Real (#2633) …

Added Real.mem_closure_iff View on Github →