Theorem FirstOrder.Language.LHom.mem_onTheory

Modification history