Theorem bool.bor_comm
Modification history
2020-02-20 21:25
src/data/bool.lean
fix(data/bool): remove simp attribute from commutativity lemmas (#2027)
Modified bool.bor_commView on Github →2018-07-16 20:17
data/bool.lean
refactor(data/bool): decidable forall bool
Modified bool.bor_commView on Github →