mathlib3 documentation

conv mode

The conversion tactic mode #

This page has moved to the leanprover-community website.