Skip to content

Generalize lemmas about if #94

Generalize lemmas about if

Generalize lemmas about if #94

Annotations

1 warning

This job succeeded