Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function.involutive.to_perm_symm

Modification history

2022-03-07 12:17
src/data/equiv/basic.lean
chore(data/equiv/basic): rename `involutive.to_equiv` to `to_perm` (#12486)
Added function.involutive.to_perm_symmView on Github →