# Tag Archives: quotients

## Formalising Mathematics : workshop 7 — quotients

Is a quotient a set of equivalence classes? I think it’s something a bit more general than that. Continue reading

Posted in formalising mathematics course, M1F, undergrad maths
Tagged formalising-mathematics, quotients
7 Comments

## Equality part 1: definitional equality.

I keep meaning to write something about equality in Lean, and on the tube home today I just managed to understand it a little bit better, so perhaps now is the time (although I won’t get to today’s revelation until … Continue reading