smorel394
Results
1
comments of
smorel394
Okay, so this is really useful. I suffered a lot in a recent project because of the way morphisms in full subcategories are encoded in mathlib, so did my master's...