Skip to content

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

Merged
ScriptRaccoon merged 1 commit into
ScriptRaccoon:mainfrom
dschepler:lrs-not-cartesian-closed
Jun 10, 2026
Merged

Add several negative properties of LRS_R deduced from those of Top#231
ScriptRaccoon merged 1 commit into
ScriptRaccoon:mainfrom
dschepler:lrs-not-cartesian-closed

Commits

Commits on Jun 10, 2026