Field instances for ULift
#
This file defines instances for field, semifield and related structures on ULift
types.
(Recall ULift α
is just a "copy" of a type α
in a higher universe.)
Mathlib.Algebra.Field.ULift
ULift
#This file defines instances for field, semifield and related structures on ULift
types.
(Recall ULift α
is just a "copy" of a type α
in a higher universe.)