Skip to content

LEAN-196 DTD validator Error: No declaration for attribute xmlns of element math

Feryal Sakkijha requested to merge LEAN-196 into master

There is no declaration for attribute xmlns of element math, we need to remove the attribute xmlns.

Merge request reports