GitHub/leanprover-community.mathlib4
1
0
Fork 0
mirror of https://github.com/leanprover-community/mathlib4.git synced 2026-03-07 02:46:33 +00:00
Code Issues Projects Releases Packages Wiki Activity
Tradeoffs of concrete types defined as subobjects
Yaël Dillies edited this page 2024-07-25 11:01:10 +03:00

Page revisions

1 Commits

Author SHA1 Message Date
Yaël Dillies
6e895c4979 Write Tradeoffs of concrete types defined as subobjects 2024-07-25 11:01:10 +03:00