Def Bar

Modification history

2026-10-24 08:53
MathlibTest/Delab/PPWithUniv.lean
fix: setting `pp.mdata` to true breaks `@[pp_with_univ]` (#43981) …
Added BarView on Github →