I updated my math research book to use “weakly down-aligned” and “weakly up-aligned” instead of “down-aligned” and “up-aligned” (see the book for the definitions) where appropriate to make theorems slightly more general.
During this I also corrected an error. (One theorem referred to complement of a lattice element without stating that the lattice is boolean.)
Well, maybe I introduced new errors. The current version is not 100% stable. However, I am sure the errors (if any) are small and don’t break the exposition.