Theorem FirstOrder.Language.constants_mk₂

Modification history