Def CategoryTheory.NatIso.hcomp

Modification history

2025-08-11 11:23

Mathlib/CategoryTheory/NatIso.lean

feat: use `grind` in `CategoryTheory.NatIso` (#28065) …

Modified CategoryTheory.NatIso.hcomp View on Github →

2022-12-04 13:01

Mathlib/CategoryTheory/NatIso.lean

feat: port CategoryTheory.NatIso (#820) …

Added CategoryTheory.NatIso.hcomp View on Github →