Commit 2022-11-20 07:14 e1378b64

View on Github →

feat: port Mathlib.Control.ULift (#638) against mathlib fd47bdf09e90f553519c712378e651975fe8c829

Estimated changes

added theorem PLift.bind_up
added theorem PLift.map_up
added theorem PLift.rec.constant
added theorem PLift.seq_up
added theorem ULift.bind_up
added theorem ULift.map_up
added theorem ULift.rec.constant
added theorem ULift.seq_up