Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.Ioc.coe_pow

Modification history

2022-08-18 13:46
src/data/set/intervals/instances.lean
feat(data/set/intervals/instances): algebraic instances for unit intervals (#15712) …
Added set.Ioc.coe_powView on Github →