Commit 2022-10-27 14:32 bb3e01e4

View on Github →

chore: update lean + std4 10-27 (#510) The support for Max and Min classes is still somewhat minimal (no pun intended). The relevant files still require proper porting.

Estimated changes

modified theorem le_max_left
modified theorem le_max_right
modified theorem le_min
added theorem max_def
modified theorem max_le
modified theorem max_self
added theorem min_def
modified theorem min_le_left
modified theorem min_le_right
modified theorem min_self