Def Mathlib.Tactic.Reassoc.categoryIsoSimp

Modification history

2026-01-21 16:04
Mathlib/Tactic/CategoryTheory/IsoReassoc.lean
feat(reassoc): tag the generated declaration with `to_dual none` (#33833) …
Added Mathlib.Tactic.Reassoc.categoryIsoSimpView on Github →