Tag Archives: localisation
Equality, specifications, and implementations
There are lots of kinds of equalities in Lean. Here’s some basic things that a mathematician needs to know to understand what’s going on Continue reading
Posted in Algebraic Geometry, General, Type theory
Tagged equality, localisation, real numbers
6 Comments
Xena 