mathlib
7135c96f - chore(data/list/perm): make `perm_nil` a simp lemma (#8191)

Commit

4 years ago

chore(data/list/perm): make `perm_nil` a simp lemma (#8191)

Author

eric-wieser

eric-wieser

Parents

Loading