mathlib
d0f92493 - feat(data/list/chain): add `list.chain'_is_infix` (#16627)

Commit

3 years ago

feat(data/list/chain): add `list.chain'_is_infix` (#16627)

Author

urkud

urkud

Parents

Loading