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

tm