T terrytao.wordpress.com A slightly longer Lean 4 proof tour 78 points iso8859-1 2 years ago 27 comments
