Structure CategoryTheory.ShortExact

Modification history