Skip to content

Add massOn empty simp lemma#4

Merged
Xinze-Li-Moqian merged 1 commit into
MathNetwork:mainfrom
dxww123:codex/varifold-masson-empty
May 13, 2026
Merged

Add massOn empty simp lemma#4
Xinze-Li-Moqian merged 1 commit into
MathNetwork:mainfrom
dxww123:codex/varifold-masson-empty

Commits

Commits on May 12, 2026