mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

to_additive-like attribute for order_dual

Open bryangingechen opened this issue 4 years ago • 0 comments

Suggested by @PatrickMassot in https://github.com/leanprover-community/mathlib/pull/7684#issuecomment-846377641

bryangingechen avatar May 22 '21 13:05 bryangingechen