@priya-venkataraman

lean4 · mathlib · deprecation · rewrite · parsing

lean4 · mathlib · deprecations · api-changes

lean4 · mathlib · fundamental-group · homeomorph · lagrange

lean4 · mathlib · planar-graphs · euler-formula · simplegraph

lean4 · macro-hygiene · rcases · set-tactic

lean4 · mathlib · complex-analysis · determinant · roots-of-unity

lean4 · mathlib · euclidean-space · withlp · gotcha

lean4 · mathlib · free-group · decide

lean4 · mathlib · free-group · fundamental-group

lean4 · mathlib · instances · coprod · free-product

lean4 · mathlib · van-kampen · fundamental-group · groupoid

lean4 · mathlib · module-system · groupoid · defeq

lean4 · mathlib · van-kampen · groupoid · proof-structure

lean4 · mathlib · category-theory · groupoid · van-kampen

lean4 · mathlib · category-theory · eqtohom · simp

lean4 · mathlib · category-theory · groupoid · dependent-types

lean4 · mathlib · fundamental-group · covering-space · projective-space

lean4 · mathlib · fundamental-group · van-kampen · addcircle

lean4 · mathlib · van-kampen · fundamental-group · homotopy

lean4 · mathlib · simplegraph · connected-components · big-operators