deriving icon indicating copy to clipboard operation
deriving copied to clipboard
verified publisher icon arthuraa

Adapt to math-comp/math-comp#1166

Open pi8027 opened this issue 1 year ago • 0 comments

We plan to change the type of the display parameter of the order type structures in order.v (see math-comp/math-comp#1166). This PR provides a compatibility layer.

pi8027 avatar Mar 15 '24 14:03 pi8027