Nix CI for bundle 8.20

Add stronger extensionality lemma for imfset. #43

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	41s
mathcomp	54s
mathcomp-finmap	1m 31s
multinomials	2m 30s
	5m 36s