basic): make valid a class and rename to mono (#6015)

Commit

4 years ago

refactor(data/buffer/parser/basic): make valid a class and rename to mono (#6015) Co-authored-by: Yakov Pechersky <pechersky@users.noreply.github.com>

Author

pechersky

Parents

dbf038d6

mathlib3 a1ebf540 - refactor(data/buffer/parser/basic): make valid a class and rename to mono (#6015)

mathlib3
a1ebf540 - refactor(data/buffer/parser/basic): make valid a class and rename to mono (#6015)