Skip to content

feat: prop instance yields theorems #5050

feat: prop instance yields theorems

feat: prop instance yields theorems #5050