Theorem CategoryTheory.unitCompPartialBijective_natural

Modification history