Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function.involutive.to_perm_involutive

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_involutiveView on Github →