mathlib
e2be3560 - Eliminate `finish` from `id_groupoid`
Commit
View On GitHub
Commit
3 years ago
Eliminate `finish` from `id_groupoid`
Committer
stuart-presnell stuart-presnell
Parents
8d41552f
FAQ Terms Privacy Refunds Impressum
Loading