Skip to content

Add several negative properties of LRS_R deduced from those of Top#231

Open
dschepler wants to merge 3 commits into
ScriptRaccoon:mainfrom
dschepler:lrs-not-cartesian-closed
Open

Add several negative properties of LRS_R deduced from those of Top#231
dschepler wants to merge 3 commits into
ScriptRaccoon:mainfrom
dschepler:lrs-not-cartesian-closed

Commits

Commits on Jun 8, 2026

Commits on Jun 9, 2026