Theorem CategoryTheory.bijection_natural

Modification history