mathlib3

feat(conv/conv): conv tactics for zooming/saving state

#1351

Merged