Theorem Transcendental.extendScalars_of_isIntegral

Modification history