Fix a bug preventing proper export of IS_GCD_0R theorem.

Spotted by Thibault Gauthier.