issue !4#10395: Dot-notation for theorems that don't have...

Stream: triage

[Random Issue Bot]

Today I chose issue 10395 for discussion!

Dot-notation for theorems that don't have the struct in the assumptions
Created by @Moritz Doll (@mcdoll) on 2024-02-10
Labels:

Is this issue still relevant? Any recent updates? Anyone making progress?