Def Mathlib.Tactic.Translate.ArgReorder.isEmpty

Modification history

2026-05-29 13:23
Mathlib/Tactic/Translate/Reorder.lean
chore: bump toolchain to v4.31.0-rc1 (#39980)
Modified Mathlib.Tactic.Translate.ArgReorder.isEmptyView on Github →
2026-05-04 11:17
Mathlib/Tactic/Translate/Reorder.lean
feat(Translate): reorder universes (#36604) …
Added Mathlib.Tactic.Translate.ArgReorder.isEmptyView on Github →