Theorem Int.uniformEmbedding_coe_real

Modification history