User blog comment:Alemagno12/Proof that the order type of fusible numbers is exactly e0/@comment-1605058-20180514133757

soon