
<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Thank you for the pointers.<div><br></div><div>BTW, the lemmas in the Sets section were added by Christoph Kreitz based on work by Lambert Meertens (they worked with me on a project), so they should be credited if those lemmas are included in the library (I meant to mention that in the file itself, but forgot). I've attached an updated file with the subsumed lemmas removed and with the attribution added.</div><div><br></div><div>It looks like there could be some partial overlap between my modeled-as-functions indexed products and FuncSet. I'll look into that in more detail, and update my development as needed.</div><div><br></div><div></div></body></html>