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

Add several negative properties of LRS_R deduced from those of Top

aa3544c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.