Finite and Infinite are preserved by MulOpposite and AddOpposite

instance MulOpposite.instFinite {α : Type u_1} [Finite α] : Finite αᵐᵒᵖ

instance AddOpposite.instFinite {α : Type u_1} [Finite α] : Finite αᵃᵒᵖ

instance MulOpposite.instInfinite {α : Type u_1} [Infinite α] : Infinite αᵐᵒᵖ

instance AddOpposite.instInfinite {α : Type u_1} [Infinite α] : Infinite αᵃᵒᵖ