Theorem Mathlib.Tactic.Reassoc.Iso.eq_whisker

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.Iso.eq_whiskerView on Github →