Theorem CategoryTheory.FinitaryExtensive.isPullback_initial_to_sigma_ι

Modification history