Structure CategoryTheory.ShiftMkCore

Modification history