Closed tohecz closed 9 years ago
amsthm is currently loaded noop. We would like to make it optional.
amsthm
amsthm
is currently loaded noop. We would like to make it optional.