Skip to content

[imports] Algebra.Apartness.Bundles .. Algebra.Construct.NaturalChoice.Base#2597

Merged
jamesmckinna merged 2 commits into
agda:masterfrom
jmougeot:import0
Feb 28, 2025
Merged

[imports] Algebra.Apartness.Bundles .. Algebra.Construct.NaturalChoice.Base#2597
jamesmckinna merged 2 commits into
agda:masterfrom
jmougeot:import0

Merge branch 'master' into import0

d159345
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs