-theorem drops_conf_div_fcla: ∀L1,L2,f1,f2,n1,n2.
- â¬\87*[â\93\89, f1] L1 â\89¡ L2 â\86\92 â¬\87*[â\93\89, f2] L1 â\89¡ L2 â\86\92 ð\9d\90\82â¦\83f1â¦\84 â\89¡ n1 â\86\92 ð\9d\90\82â¦\83f2â¦\84 â\89¡ n2 →
+theorem drops_conf_div_fcla: ∀f1,f2,L1,L2,n1,n2.
+ â¬\87*[â\93\89, f1] L1 â\89\98 L2 â\86\92 â¬\87*[â\93\89, f2] L1 â\89\98 L2 â\86\92 ð\9d\90\82â¦\83f1â¦\84 â\89\98 n1 â\86\92 ð\9d\90\82â¦\83f2â¦\84 â\89\98 n2 →