toDual/ofDual alignment

Stream: mathlib4

[Johan Commelin]

/-- `toDual` is the identity function to the `OrderDual` of a linear order.  -/
def toDual : α ≃ αᵒᵈ :=
  Equiv.refl _

/-- `ofDual` is the identity function from the `OrderDual` of a linear order.  -/
def ofDual : αᵒᵈ ≃ α :=
  Equiv.refl _

should these not have #align statements?

[Chris Hughes]

Yes. I was wondering why they never seemed to work

[Johan Commelin]

Done in mathlib4#1366

[Yakov Pechersky]

I hadn't added them because this file was ported before the "mathport outputs an align statement for every decl" was turned on. And these two decls did auto align by mathport as it is

[Johan Commelin]

Aha, thanks for the explanation