Skip to content

added a decomposition of the generated ideal.#1317

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

added a decomposition of the generated ideal.#1317
Freek98 wants to merge 1 commit into
agda:masterfrom
Freek98:IdealInduction

added a decomposition of the generated ideal.

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

Annotations

1 warning
test-cubical
succeeded Jun 30, 2026 in 3m 13s