Theorem RelSeries.head_mem

Modification history

2023-12-28 07:15
Mathlib/Order/RelSeries.lean
feat: add some constructions about `RelSeries` (`append`, `insert_nth`, `map`, `comap`) (#3858) …
Added RelSeries.head_memView on Github →