Skip to content

Generalize an inductive construction lemma #4

Generalize an inductive construction lemma

Generalize an inductive construction lemma #4

Annotations

3 warnings

This job succeeded