Theorem CategoryTheory.nerve₂Adj.unit.naturality

Modification history