mathlib3

e23553a4 - doc(nat/decidable_prime): add docstrings explaining the two decidable_prime instances (#757)