Theorem CategoryTheory.FreeBicategory.preinclusion_map₂

Modification history