math/{mpbarrett,mpmont}.h: Provide correctness proofs for these methods.
[catacomb] / debian / compat
CommitLineData
6000faf9 18