Theorem CategoryTheory.Limits.WalkingParallelPairHom.id.sizeOf_spec'

Modification history