go

假设在 Lean 4 中

英文: Assume in lean 4 问题 在Lean 4中,与Lean 3中的assume相似的结构化假设方式似乎已被移除。要将Lean 3中使用assume的证明转换为Lean 4,通常的方法...