Mathlib v3 is deprecated. Go to Mathlib v4

Def psigma.map

Modification history

2020-08-25 13:04

src/data/sigma/basic.lean

feat(data/sigma/basic): cleanup (#3933) …

Modified psigma.map View on Github →

2017-11-05 01:30

data/sigma/basic.lean

feat(data/sigma): duplicate sigma basics for psigma

Added psigma.map View on Github →