Def Mathlib.Tactic.Translate.Permutation.beq

Modification history

2026-05-04 11:17

Mathlib/Tactic/Translate/Reorder.lean

feat(Translate): reorder universes (#36604) …

Added Mathlib.Tactic.Translate.Permutation.beq View on Github →