mathlib
89c79633 - feat(category_theory/nat_iso): dsimp lemma for natural isomorphisms (#5973)

Commit

4 years ago

feat(category_theory/nat_iso): dsimp lemma for natural isomorphisms (#5973) a little simp lemma

Author

b-mehta

Parents