Theorem CategoryTheory.Limits.Cotrident.app_one

Modification history