LeanColls icon indicating copy to clipboard operation
LeanColls copied to clipboard
verified publisher icon JamesGallicchio

Split LeanColls/Classes/Ops.lean

Open JamesGallicchio opened this issue 1 year ago • 0 comments

it is getting too big. split it.

JamesGallicchio avatar Apr 17 '24 07:04 JamesGallicchio