Theorem FirstOrder.Language.monotone_distinctConstantsTheory

Modification history