mathlib3
5242a7fb - feat(data/list/infix): add lemmas and instances (#12511)

Commit

3 years ago

feat(data/list/infix): add lemmas and instances (#12511)

Author

astrainfinita

astrainfinita

Parents

Loading