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

Merged

jamesmckinna merged 2 commits intoagda:masterfrom

jmougeot:import0

Feb 28, 2025

Commits on Feb 19, 2025

Apartness & Construct
jmougeot
committed

Commits on Feb 26, 2025

Merge branch 'master' into import0
JacquesCarette
authored