Def universeTest1.{u,v,w}

Modification history

2026-05-04 11:17
MathlibTest/ToDual.lean
feat(Translate): reorder universes (#36604) …
Added universeTest1.{u,v,w}View on Github →