Theorem IsAlgClosed.ringEquivOfCardinalEqOfCharEq

Modification history