Skip to content

Add property of every regular congruence being effective (and its dual) - #420

Draft
dschepler wants to merge 1 commit into
ScriptRaccoon:mainfrom
dschepler:effective-regular-congruences
Draft

Add property of every regular congruence being effective (and its dual)#420
dschepler wants to merge 1 commit into
ScriptRaccoon:mainfrom
dschepler:effective-regular-congruences

Initial commit introducing property of every regular congruence being…

f1f9dbc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Job log options

This job was skipped