Commit 2023-10-27 17:59 9045cd8c

View on Github →

chore(Data/Bool/Basic): lemmas about min and max (#7984)

Estimated changes

modified theorem Bool.beq_comm
modified theorem Bool.beq_eq_decide_eq
added theorem Bool.max_eq_or
added theorem Bool.min_eq_and