Skip to content

Finish admits using FMap's Equals #51

Finish admits using FMap's Equals

Finish admits using FMap's Equals #51

Annotations

1 warning

build (coqorg/coq:8.18)

succeeded Mar 15, 2024 in 2m 42s