Structure CategoryTheory.Limits.MulticospanShape

Modification history