Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function.involutive.coe_to_perm

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.coe_to_permView on Github →