Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ulift.down_int_cast

Modification history

2023-03-17 00:32
src/algebra/group/ulift.lean
chore(algebra/ring/ulift): Split off and golf field instances (#18590) …
Added ulift.down_int_castView on Github →