Skip to content

Has effective (co)congruences properties#126

Merged
ScriptRaccoon merged 5 commits into
ScriptRaccoon:mainfrom
dschepler:effective-congruences
May 4, 2026
Merged

Has effective (co)congruences properties#126
ScriptRaccoon merged 5 commits into
ScriptRaccoon:mainfrom
dschepler:effective-congruences

use LaTeX macros in results about effective (co)congruences

1890618
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.