Lecture 07 - Differential Geometry with Finite Fields