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

1 error and 1 warning

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