Def universeTest3.{u,u',v,v'}

Modification history

2026-07-02 11:53
MathlibTest/Attribute/ToDual.lean
fix(Translate): fix universe reorder inference (#40493) …
Deleted universeTest3.{u,u',v,v'}View on Github →
2026-05-04 11:17
MathlibTest/ToDual.lean
feat(Translate): reorder universes (#36604) …
Added universeTest3.{u,u',v,v'}View on Github →