Theorem CategoryTheory.Over.mapForget_eq

Modification history