Skip to content

Commit e9a19f3

Browse files
vihdzpvihdzp
committed
chore(Order/WithBot): add to_dual attributes (part 1) (leanprover-community#32498)
1 parent 4434451 commit e9a19f3

1 file changed

Lines changed: 84 additions & 242 deletions

File tree

0 commit comments

Comments
 (0)