Theorem SubsemiringClass.coe_pow
Modification history
2025-08-21 17:19
Mathlib/Algebra/Ring/Subsemiring/Defs.lean
chore: deprecate SubsemiringClass.coe_pow (#27635)
Deleted SubsemiringClass.coe_powView on Github →2025-03-29 10:26
Mathlib/Algebra/Ring/Subsemiring/Defs.lean
feat: generalize Mathlib.Algebra.Group+Ring+Field (#23143) …
Modified SubsemiringClass.coe_powView on Github →