Mathlib Changelog v3

Changelog About Github

Mathlib v3 is deprecated. Go to Mathlib v4

Def semiquot.bind

Modification history

2018-05-09 06:04

data/semiquot.lean

feat(data/semiquot): semiquotient types

Added semiquot.bind View on Github →