Re: [math-fun] Differential geometry in *finite* fields!