Theorem ULift.map_up

Modification history

2023-11-10 21:41

Mathlib/Control/ULift.lean

feat: When `Nat.card` is zero (#8202) …

Modified ULift.map_up View on Github →

2022-11-20 07:14

Mathlib/Control/ULift.lean

feat: port Mathlib.Control.ULift (#638) …

Added ULift.map_up View on Github →