Add proof that map is injective #5791

Triggered via pull request March 13, 2025 05:39

JasonGross

opened #2061

JasonGross:map-inj

Status Success

Total duration 3h 0m 25s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size	Digest
fiat-javadoc	75.4 KB	`sha256:58ea7b735d2b083ab15593d8dd7ca4ab2873fb4d650e4cbbd2ef558babbc60eb`