Bachelor's Thesis (Mathematics / Computer Science and Software Engineering @ University of Barcelona). See Releases for final version.
0
stars
0
forks
source link
Fix indices in pushouts so that `inl` comes always "before" `inr` #7
Closed
xaviripo closed 4 years ago
Disregarded, haven't even noticed these days.