Theorem PLift.down_surjective

Modification history

2022-11-24 03:21
Mathlib/Data/ULift.lean
feat(Data/ULift): port from mathlib (#703) …
Added PLift.down_surjectiveView on Github →