Theorem PNat.XgcdType.reduce_reduced'

Modification history