Theorem Suggestion: GO-space + Dieudonne complete => paracompact

[Moniker1998]

Theorem Suggestion

If a space is:

• GO-space P154
• Dieudonne complete P221

then it is paracompact P30.

Proof/References

Theorem 3.2 in Paracompactness in ordered spaces by Engelking and Lutzer

(note Dieudonne complete is not added yet)

@pzjp perhaps you could take a look after #1426 is done

[Moniker1998]

Possible improvement: Monotonically normal + Dieudonne complete => paracompact