Theorem CategoryTheory.FinitaryPreExtensive.isPullback_sigmaDesc

Modification history