1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
- **Added:**
Added lemmas
:g:`orb_negb_l`,
:g:`andb_negb_l`,
:g:`implb_true_iff`,
:g:`implb_false_iff`,
:g:`implb_true_r`,
:g:`implb_false_r`,
:g:`implb_true_l`,
:g:`implb_false_l`,
:g:`implb_same`,
:g:`implb_contrapositive`,
:g:`implb_negb`,
:g:`implb_curry`,
:g:`implb_andb_distrib_r`,
:g:`implb_orb_distrib_r`,
:g:`implb_orb_distrib_l` in library :g:`Bool`
(`#12018 <https://github.com/coq/coq/pull/12018>`_,`
by Hugo Herbelin).`
|
