Theorem CategoryTheory.unitCompPartialBijective_symm_natural

Modification history