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

Add ofFnM

Open JamesGallicchio opened this issue 1 year ago • 0 comments

See https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Monadic.20array.20init/near/436387474

JamesGallicchio avatar May 01 '24 23:05 JamesGallicchio