Structure CategoryTheory.Split

Modification history