Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] how to prove?

Email Gateway (Aug 22 2022 at 18:55):

From: jackx <xf930813@foxmail.com>
很显然Min_Un规则是，且它依赖finite-set-sum-down,finite-set n a,set-sum-down-not-null,set-sum-not-null.我怎么证明finite-set-sum?
a.png

Last updated: Feb 01 2025 at 20:19 UTC