Add type annotations for rings and parents #41232
tobiasdiez
force pushed
from
4c30d551
to
c7768dd9
42 days ago
tobiasdiez
force pushed
from
c7768dd9
to
fab76988
42 days ago
Add type annotations for rings and parents
315aa5c8
tobiasdiez
force pushed
from
fab76988
to
315aa5c8
42 days ago
Merge branch 'develop' into typing-catrings
a1c4b27c
Merge branch 'develop' into typing-catrings
aaba4da4
Enhance type annotations for Homset and Map classes
b6070a6c
Fix linter
aacd66ad
Improve typing info (in particular add default values)
d2e37e2b
Lazy type annotation for _cache in Homset class
e9961989
Fix linter
e7f2f304
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub