Theorem ULift.seq_up

Modification history

2022-11-20 07:14
Mathlib/Control/ULift.lean
feat: port Mathlib.Control.ULift (#638) …
Added ULift.seq_upView on Github →