Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-08-16 14:06 fb6bab27

View on Github →

fix(data/list/perm): pending issues

Estimated changes

Modified data/list/perm.lean

added def list.perm.decidable_perm

added def list.perm.decidable_perm_aux

added theorem list.perm.perm_app_cons

added theorem list.perm.subset_of_mem_of_subset_of_qeq