Theorem CategoryTheory.FinitaryPreExtensive.isIso_sigmaDesc_fst

Modification history