Theorem PNat.XgcdType.reduce_b

Modification history