On r-invertible matrices over antirings | Synapse