[sannee]

> explain in layman's terms and THEN explain the formal properties?

The explanations are definitely very lacking of formalisms. There even isn't any proper explanation of what a vector space actually is.

It doesn't seem to pretend to be a full textbook replacement, more like a supplementary material, so I don't think it matters all that much.