Mathlib v3 is deprecated. Go to Mathlib v4

Def pfun.core

Modification history

2021-08-16 02:20

src/data/pfun.lean

docs(data/pfun): add module docstring and def docstrings (#8629)

Modified pfun.core View on Github →

2019-02-08 09:28

src/data/pfun.lean

feat(order/filter): convergence for relations and partial functions

Modified pfun.core View on Github →

2019-02-08 09:28

src/data/pfun.lean

feat(data/pfun): add restrict, preimage, core, etc.

Added pfun.core View on Github →