Commit 2022-11-24 15:22 6b6f0338

View on Github →

chore: fix case errors in Order.Max (#713)

Estimated changes

added theorem Prod.isBot_iff
added theorem Prod.isMax_iff
added theorem Prod.isMin_iff
added theorem Prod.isTop_iff
deleted theorem Prod.is_bot_iff
deleted theorem Prod.is_max_iff
deleted theorem Prod.is_min_iff
deleted theorem Prod.is_top_iff
added theorem isBot_ofDual_iff
added theorem isBot_toDual_iff
added theorem isMax_ofDual_iff
added theorem isMax_toDual_iff
added theorem isMin_ofDual_iff
added theorem isMin_toDual_iff
added theorem isTop_ofDual_iff
added theorem isTop_toDual_iff
deleted theorem is_bot_of_dual_iff
deleted theorem is_bot_to_dual_iff
deleted theorem is_max_iff_forall_not_lt
deleted theorem is_max_of_dual_iff
deleted theorem is_max_to_dual_iff
deleted theorem is_min_iff_forall_not_lt
deleted theorem is_min_of_dual_iff
deleted theorem is_min_to_dual_iff
deleted theorem is_top_of_dual_iff
deleted theorem is_top_to_dual_iff
added theorem not_isBot
added theorem not_isMax
added theorem not_isMax_iff
added theorem not_isMax_of_lt
added theorem not_isMin
added theorem not_isMin_iff
added theorem not_isMin_of_lt
added theorem not_isTop
deleted theorem not_is_bot
deleted theorem not_is_max
deleted theorem not_is_max_iff
deleted theorem not_is_max_of_lt
deleted theorem not_is_min
deleted theorem not_is_min_iff
deleted theorem not_is_min_of_lt
deleted theorem not_is_top