Open bartsnapp opened 3 years ago
It needs to be documented that
new theorems need to
ximerizedTheorems too
It needs to be documented that
new theorems need to
ximerizedTheorems too