Theorem RelSeries.mem_def

Modification history

2024-05-17 17:53

Mathlib/Order/RelSeries.lean

feat(Order/RelSeries): add `snoc` construction (#12915) …

Modified RelSeries.mem_def View on Github →

2023-12-28 07:15

Mathlib/Order/RelSeries.lean

feat: add some constructions about `RelSeries` (`append`, `insert_nth`, `map`, `comap`) (#3858) …

Added RelSeries.mem_def View on Github →