Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-05-25 01:14 4117ff40

View on Github →

refactor(algebra/order_functions): reorganize new lemmas

Estimated changes

added theorem max_choice
added theorem min_choice
deleted theorem if_choice
deleted theorem max_choice
deleted theorem min_choice