Mathlib v3 is deprecated. Go to Mathlib v4

Def finmap.lift_on₂

Modification history

2019-02-20 18:08
src/data/finmap.lean
feat(data/finmap): lift_on₂ (#716) …
Added finmap.lift_on₂View on Github →