Mathlib Changelog
v4
Changelog
About
Github
Theorem
PLift.bind_up
Modification history
2022-11-20 07:14
Mathlib/Control/ULift.lean
feat: port Mathlib.Control.ULift (#638) …
Added
PLift.bind_up
View on Github →