Commit 2023-01-31 07:39 ea60b267

View on Github →

Feat: add Bool.compl_singleton_* and Set.range_in{l,r} (#1955) Backported in leanprover-community/mathlib#18332

Estimated changes

added theorem Bool.compl_singleton
added theorem Set.range_inl
added theorem Set.range_inr