Theorem CompHausLike.LocallyConstant.incl_of_counitAppApp

Modification history