Skip to content

ListSet: remove dead parameter #47

ListSet: remove dead parameter

ListSet: remove dead parameter #47

Annotations

10 warnings

build (coqorg/coq:8.15)

succeeded Sep 6, 2024 in 7m 52s