Theorem IsMeagre.mono

Modification history

2024-07-11 10:12

Mathlib/Topology/GDelta.lean

chore: add missing spaces around : (#13658) …

Modified IsMeagre.mono View on Github →

2023-10-12 10:52

Mathlib/Topology/GDelta.lean

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

Modified IsMeagre.mono View on Github →

2023-10-10 21:36

Mathlib/Topology/GDelta.lean

feat: nowhere dense and meagre sets (#7180) …

Added IsMeagre.mono View on Github →