Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ulift.down_rat_cast

Modification history

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