Commit 2024-01-31 09:33 8eae1e3c

View on Github →

chore(Analysis/Seminorm): make statement of neg_mem_ball_zero iff (#10119)

Estimated changes

modified theorem Seminorm.neg_mem_ball_zero