Email Gateway (Aug 22 2022 at 09:02): Email Gateway (Aug 22 2022 at 09:02):From: Andreas Lochbihler <andreas.lochbihler@inf.ethz.ch>
Use the Query panel to search for theorems. For example, searching for setsum and Suc
returns several theorems that match your needs:
setsum_op_ivl_Suc
setsum_head_upt_Suc
setsum_head_Suc
setsum_cl_ivl_Suc
Best,
Andreas
PS: You should direct your questions not privately to me but to the mailing lists such
that other people also have a chance to answer and profit from the answers themselves.
Last updated: Apr 20 2024 at 08:16 UTC