Theorem CategoryTheory.nerve₂Adj.unit.map_app_eq

Modification history