mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(algebra|data): misc lemmas in low-level files

Open fpvandoorn opened this issue 3 years ago • 0 comments

  • From the sphere eversion project

Open in Gitpod

fpvandoorn avatar Oct 13 '22 12:10 fpvandoorn