Theorem CategoryTheory.bijection_symm_apply_id

Modification history