Theorem CategoryTheory.IsIso.mk'

Modification history

2026-03-15 23:11
Mathlib/CategoryTheory/Iso.lean
chore(CategoryTheory/NatIso): use `to_dual` (#36577) …
Added CategoryTheory.IsIso.mk'View on Github →