--- a/src/ZF/QUniv.thy Tue Sep 27 17:03:23 2022 +0100
+++ b/src/ZF/QUniv.thy Tue Sep 27 17:46:52 2022 +0100
@@ -20,7 +20,7 @@
case_eqns qcase_QInl qcase_QInr
definition
- quniv :: "i => i" where
+ quniv :: "i \<Rightarrow> i" where
"quniv(A) \<equiv> Pow(univ(eclose(A)))"