Mathlib Changelog
v4
Changelog
About
Github
Def
Mathlib.Tactic.Widget.mkCommDiag
Modification history
2023-06-07 08:52
Mathlib/Tactic/Widget/CommDiag.lean
feat: add commutative diagram widget (#3583) …
Added
Mathlib.Tactic.Widget.mkCommDiag
View on Github →