The top documents tagged [mac lanes usage]
Proof-Theoretical Coherence
224 views