Manim: Zooming in manim

[mscharling]

I've been trying to figure out how to zoom in on a specific point in manim on my own without success. How do I make some kind of zoom animation? It's about settheory and I want to zoom in on one of the more centered points in the set in the picture below and then zoom out to continue in the same scene. How can I make that happen? :-)

[Elteoremadebeethoven]

Check this and this.

[mscharling]

But I keep on getting this attribute error:
self.camera_frame.save_state()
AttributeError: 'introset' object has no attribute 'camera_frame'
How do I fix that?

Edit: Nevermind, I found out why. I had to rename the Scene to a MovingCameraScene. Thanks again for helping me! :-)