Theorem FirstOrder.Language.Theory.imp_antisymm

Modification history