Theorem FirstOrder.Language.LHom.sumMap_comp_inl

Modification history