Skip to content

peano_naturals.v: get rid of universe N #1633

peano_naturals.v: get rid of universe N

peano_naturals.v: get rid of universe N #1633

Annotations

9 warnings

The logs for this run have expired and are no longer available.