Def Flag.map

Modification history

2025-03-10 05:37

Mathlib/Order/Chain.lean

style: fix some isolated where's (#22726) …

Modified Flag.map View on Github →

2024-11-28 16:50

Mathlib/Order/Chain.lean

feat(Order): maximal chains are preserved under order isomorphisms (#19471) …

Added Flag.map View on Github →