Theorem CategoryTheory.finitaryExtensive_of_preserves_and_reflects

Modification history