Mathlib v3 is deprecated. Go to Mathlib v4

Def list.partition_map

Modification history

2018-12-17 10:50
core/data/list.lean
fix(*): untangle dependency hierarchy
Modified list.partition_mapView on Github →
2018-09-11 10:07
core/data/list.lean
feat(tactic/ext): make the attribute incremental
Added list.partition_mapView on Github →