Structure CategoryTheory.CompatiblePreserving

Modification history