Theorem IsAlgClosed.ringEquivOfCardinalEqOfCharZero

Modification history