, [OOS by Dept2].[18649], [OOS by Dept2].[18695] AS Expr6, [OOS by Dept2].[18696], [OOS by Dept2].[18712], [OOS by Dept2].[18810] AS Expr7, [OOS by Dept2].[18919], [OOS by Dept2].[18990] AS Expr8, [OOS by[Department Name], [
我要证明以下定理: forall s t, (forall u, OoS s u <-> OoS t u) -> s = t.我目前的背景和目标是:s, t : Entity______________________________________(1/1)
(forall v : Entity, OoS s v <-&g