Theorem CategoryTheory.Over.iteratedSliceBackward_forget_forget

Modification history