Theorem CategoryTheory.finitaryExtensive_of_preserves_and_reflects_isomorphism

Modification history