first_order_logic: repeated word
first_order_logic: repeated word
leanprover/logic_and_proof,avigad/logic_and_proof,leanprover/logic_and_proof,avigad/logic_and_proof,avigad/logic_and_proof,leanprover/logic_and_proof