Commit 2022-05-04 11:10 a057441e
View on Github →feat(order/basic): Notation for order_dual
(#13798)
Define αᵒᵈ
as notation for order_dual α
and replace current uses.
Zulip poll
feat(order/basic): Notation for order_dual
(#13798)
Define αᵒᵈ
as notation for order_dual α
and replace current uses.
Zulip poll