Actually give access to the Proper type.eqv hyp
#88
The logs for this run have expired and are no longer available.
Loading
Proper type.eqv hyp
#88