Theorem CategoryTheory.Lan.coreflective

Modification history