Theorem FirstOrder.Language.Theory.bot_imp

Modification history