Theorem EReal.embedding_coe

Modification history