Stream: Beginner Questions

Topic: Override assumptions from superclass

view this post on Zulip Nils Buchholz (Feb 11 2024 at 14:43):

Is there a way to override an assumption from a superclass?
Can you exclude assumptions from being inherited?

view this post on Zulip Mathias Fleury (Feb 11 2024 at 15:44):

No, you have to create a new hierarchy of classes.

Last updated: Nov 08 2026 at 20:15 UTC