From 252cbbc06063f00b6d99e90b1ffdb143194e03b6 Mon Sep 17 00:00:00 2001 From: Lucian Mogosanu Date: Sat, 24 Feb 2018 20:47:33 +0200 Subject: [PATCH] posts, 06c: Swap "div" and "mul" in title --- posts/y04/06c-ffa-egypt-proof.markdown | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/posts/y04/06c-ffa-egypt-proof.markdown b/posts/y04/06c-ffa-egypt-proof.markdown index cd48ba1..ae7e31a 100644 --- a/posts/y04/06c-ffa-egypt-proof.markdown +++ b/posts/y04/06c-ffa-egypt-proof.markdown @@ -1,6 +1,6 @@ --- postid: 06c -title: Egyptian mul and div "work": a correctness proof for the arithmetic operations in FFA Chapter 5 +title: Egyptian div and mul "work": a correctness proof for the arithmetic operations in FFA Chapter 5 date: February 23, 2018 author: Lucian Mogoșanu tags: math -- 1.7.10.4