Theorem EqualCharZero.PNat.isUnit_natCast

Modification history