Version history of source/docs/guide/src/reference-assert-by-prover.md