Def CategoryTheory.Limits.Bicones.functoriality

Modification history