Def universeTest1'.{v,w,u}

Modification history

2026-07-02 11:53
MathlibTest/Attribute/ToDual.lean
fix(Translate): fix universe reorder inference (#40493) …
Added universeTest1'.{v,w,u}View on Github →