2026-04-05 14:39 UTC
@carloangiuli@mathstodon.xyz are you saying replace both with keytheorems or just thmtools? I’ll try it
Replies (1)
-
@carloangiuli@mathstodon.xyz 2026-04-05 14:41
@ToucanIan@mathstodon.xyz both
2026-04-05 14:39 UTC
@ToucanIan@mathstodon.xyz both