Mathlib v3 is deprecated. Go to Mathlib v4

Def Locale

Modification history

2023-03-28 23:45

src/topology/category/Locale.lean

chore(order/category): Rename categories (#18657) …

Modified Locale View on Github →

2022-03-12 18:01

src/topology/category/Locale.lean

feat(topology/category/Locale): The category of locales (#12580) …

Added Locale View on Github →