Commit 2023-03-17 00:32 13e18cfa
View on Github →chore(algebra/ring/ulift): Split off and golf field instances (#18590)
Move field-like instances on ulift
from algebra.ring.ulift
to a new file algebra.field.ulift
. Golf them by declaring the has_nat_cast
and has_int_cast
instances earlier.