Commit 2023-07-15 14:27 f1fbf070

View on Github →

chore: re-port Init.Algebra.Functions (#5924) This mainly just adds aligns and the SHA header

Estimated changes

modified theorem eq_max
modified theorem eq_min
modified theorem le_max_left
modified theorem le_max_right
modified theorem le_min
modified theorem lt_min
modified theorem max_assoc
modified theorem max_comm
modified theorem max_def
modified theorem max_eq_left
modified theorem max_eq_left_of_lt
modified theorem max_eq_right
modified theorem max_eq_right_of_lt
modified theorem max_le
modified theorem max_left_comm
modified theorem max_lt
modified theorem max_self
modified theorem min_assoc
modified theorem min_comm
modified theorem min_def
modified theorem min_eq_left
modified theorem min_eq_left_of_lt
modified theorem min_eq_right
modified theorem min_eq_right_of_lt
modified theorem min_le_left
modified theorem min_le_right
modified theorem min_left_comm
modified theorem min_self