Skip to content

Merge remote-tracking branch 'upstream/main' into congr-basic

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

feat: define right congruence and prove its basic properties #265

Merge remote-tracking branch 'upstream/main' into congr-basic
eed3933
Select commit
Loading
Failed to load commit list.