Structure CategoryTheory.CoverPreserving

Modification history