saving state (#1351)

Commit

6 years ago

feat(conv/conv): conv tactics for zooming/saving state (#1351) * feat(conv/conv): conv tactics for zooming/saving state * rob's doc fixes * nicer docs

References

#1351 - feat(conv/conv): conv tactics for zooming/saving state

Author

khoek

Committer

mergify[bot]

Parents

3f915fc5

mathlib 35144f27 - feat(conv/conv): conv tactics for zooming/saving state (#1351)

mathlib
35144f27 - feat(conv/conv): conv tactics for zooming/saving state (#1351)