Skip to content

added trivialQuotient->1\inI#1316

Open
Freek98 wants to merge 1 commit into
agda:masterfrom
Freek98:KernelOfQuotientCommRing
Open

added trivialQuotient->1\inI#1316
Freek98 wants to merge 1 commit into
agda:masterfrom
Freek98:KernelOfQuotientCommRing

added trivialQuotient->1\inI

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

Annotations

1 warning
test-cubical
succeeded Jun 25, 2026 in 5m 15s