Theorem CategoryTheory.CompatiblePreserving.apply_map

Modification history