mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(algebra/indicator_function): the inverse image under a constant indicator function has four possibilities

Open adomani opened this issue 3 years ago • 0 comments

The possibilities are set.univ, U, Uᶜ, ∅,

This lemma is from LTE.

Open in Gitpod

adomani avatar Aug 13 '22 17:08 adomani