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 13 2025 at 04:27 UTC