Closed shawntanzk closed 2 years ago
Similar to others, there are some stuff that don't fit nicely and need to be changed to X-like This includes removing their expresses Changes to make: switch all GABAergic to X-like and remove their expresses axioms
Fixed
Similar to others, there are some stuff that don't fit nicely and need to be changed to X-like This includes removing their expresses Changes to make: switch all GABAergic to X-like and remove their expresses axioms