Theorem isIntegral_algebraMap

Modification history