Theorem Concept.ext

Modification history

2023-01-19 07:45

Mathlib/Order/Concept.lean

chore: format `by` line breaks (#1523) …

Modified Concept.ext View on Github →

2023-01-05 21:25

Mathlib/Order/Concept.lean

feat: port Order.Concept (#1355) …

Added Concept.ext View on Github →