Skip to content

Generalize lemmas about if #94

Generalize lemmas about if

Generalize lemmas about if #94

Annotations

1 warning

Compile agda2hs with nix (agda2hs)

succeeded Sep 20, 2024 in 1m 38s