Commit 2025-04-09 09:12 32950338

View on Github →

chore(Submodule/Pointwise): rename Submodule.closure_neg (#23853) ... to Submodule.span_neg_eq_neg

Estimated changes

deleted theorem Submodule.closure_neg
modified theorem Submodule.neg_inf