feat: make Theorem an Inhabited instance
#12324
+1
−0
Merged
This job was skipped
Loading