mathlib3
docs(tactic/monotonicity/interactive): fix `mono` documentation [ci-skip]
#642
Merged
Merged
docs(tactic/monotonicity/interactive): fix `mono` documentation [ci-skip] #642
johoelzl
merged
1 commit into
leanprover-community:master
from
rwbarton:mono-doc
docs(tactic/monotonicity/interactive): fix `mono` documentation [ci-s…
fe24331e
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub