fix(data/real/basic): remove `decidable_le` field in `real.conditionally_complete_linear_order` (#6223)
fix(data/real/basic): remove `decidable_le` field in `real.conditionally_complete_linear_order` (#6223)

Because of this field, `@conditionally_complete_linear_order.to_linear_order ℝ real.conditionally_complete_linear_order` and `real.linear_order` were not defeq

See : https://leanprover.zulipchat.com/#narrow/stream/116395-maths/topic/Different.20linear.20orders.20on.20reals/near/226257434

Co-authored by @urkud 




leanprover-community/mathlib,leanprover-community/mathlib