From: Lucian Mogosanu Date: Sat, 24 Feb 2018 18:47:33 +0000 (+0200) Subject: posts, 06c: Swap "div" and "mul" in title X-Git-Tag: v0.11~123 X-Git-Url: https://git.mogosanu.ro/?a=commitdiff_plain;h=252cbbc06063f00b6d99e90b1ffdb143194e03b6;p=thetarpit.git posts, 06c: Swap "div" and "mul" in title --- 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