Theorem PNat.XgcdType.reduce_special'

Modification history