Closed Udi-Fogiel closed 2 months ago
see the discussion in #65
Fixed slight differently in https://github.com/muzimuzhi/thmtools/commit/fcc10cfb9fe5f6dc428f047ee586947c52df1205, following discussion in #65.
see the discussion in #65