analysis icon indicating copy to clipboard operation
analysis copied to clipboard
verified publisher icon math-comp

Missing subspace lemma on balls

Open CohenCyril opened this issue 1 year ago • 0 comments

Missing lemma from @ball subspace to the definition of subspace_ball

CohenCyril avatar May 28 '24 08:05 CohenCyril