mathlib
85380712 - doc(data/list): fix `erasep` doc string (#5254)

Commit

5 years ago

doc(data/list): fix `erasep` doc string (#5254) closes #5252

Author

robertylewis

robertylewis

Parents

Loading