Hyper‐Archimedean BL‐algebras are MV‐algebras | Publicación