Structure CategoryTheory.Limits.MultispanShape

Modification history