Hello,
how can i prove the following:
( THE A. {a. f a = {c1, c2, c3}} = {a. f a = A} ) = {c1, c2,
c3} ?
Thank you! _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
