mathlib3

4b562f82 - doc(data/equiv/encodable): +2 docstrings (#12698)