Theorem CategoryTheory.compatiblePreservingOfFlat

Modification history