Theorem Set.FiniteExhaustion.toFun_eq_coe

Modification history

2025-12-12 15:51
Mathlib/Data/Set/FiniteExhaustion.lean
feat: FiniteExhaustion (#31921) …
Added Set.FiniteExhaustion.toFun_eq_coeView on Github →