WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Category theory
Revision #1937 → #2531 ·
back to history
modified
Naturally isomorphic functors
115481027da9
Field
From #1937
To #2531
mathlib.decl
CategoryTheory.NatIso
CategoryTheory.NatTrans.isIso_iff_isIso_app
provenance
ai
ai-moderated