Mathlib v3 is deprecated. Go to Mathlib v4

Theorem parser.mono.le

Modification history

2021-02-06 20:09

src/data/buffer/parser/basic.lean

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

Added parser.mono.le View on Github →