Theorem CategoryTheory.ReflQuiv.adj.unit.map_app_eq

Modification history