The Inf function in the system F, manuscript (0)

by R David