Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.erase_subperm

Modification history

2018-08-18 01:00
data/list/perm.lean
feat(data/list/basic): some more theorems about sublist (#264)
Added list.erase_subpermView on Github →