feat(*): small lemmas from the sensitivity formalization #1352
mergify
merged
13 commits into
leanprover-community:master
from
robertylewis:sensitivity_lemmas
feat(set_theory/cardinal): norm_cast attributes and extra lemma
565ea972
feat(logic/basic): ne.symm_iff
a36ccf37
feat(data/fin): succ_ne_zero
2a61b2af
feat(data/bool): bxor_of_ne
161ef619
feat(algebra/big_operators, data/fintype): {finset,fintype}.card_eq_s…
52ba912a
robertylewis
changed the title
feat(data/set): range_restrict
7c37c06d
feat(data/finset): inter lemmas
f1414640
Reid's corrections
f364ef67
fixes
67b73d42
ChrisHughes24
commented
on 2019-08-21
ChrisHughes24
commented
on 2019-08-21
fix cardinal power lemma
d2bb54e3
fixes
784d345e
ChrisHughes24
commented
on 2019-08-22
Update bool.lean
d98e9bf5
ChrisHughes24
approved these changes
on 2019-08-22
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into sensitivity_lemmas
9dfca5db
Reviewers
Assignees
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub