Theorem ULift.down_natCast

Modification history

2023-03-17 15:06
Mathlib/Algebra/Group/ULift.lean
chore: Split off and golf `ulift` field instances (#2911) …
Added ULift.down_natCastView on Github →