Theorem Erased.nonempty_iff

Modification history

2022-12-20 15:25
Mathlib/Data/Erased.lean
feat port: Data.Erased (#937) …
Added Erased.nonempty_iffView on Github →