Proof of a conjecture of S. Mac Lane (1997)

by S Soloviev
Venue:Annals of Pure and Applied Logic