Def barE

Modification history

2025-12-01 19:09
MathlibTest/CategoryTheory/CategoryStar.lean
feat(Mathlib/Tactic/CategoryStar): Category* (#30797) …
Added barEView on Github →