mathlib3

bf7a2ed3 - fix(conditionally_complete_lattice): add instance (#4183)

fix(conditionally_complete_lattice): add instance (#4183) there was no instance from `conditionally_complete_linear_order_bot` to `conditionally_complete_linear_order`. It is added by this change.