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

jamesmckinna merged 2 commits into

agda:masteragda/agda-stdlib:masterfrom

jmougeot:import0jmougeot/agda-stdlib:import0Copy head branch name to clipboard