Welcome to the Metamath mailing list, which discusses all topics related to Metamath <https://metamath.org/>. Metamath is a simple and flexible computer-processable language that supports rigorously verifying, archiving, and presenting mathematical proofs. We encourage everyone interested in Metamath to join this group (including those in related projects like Ghilbert, Metamath Zero, and provers supporting Metamath). For netiquette see <https://us.metamath.org/mm-mailing-list.html>. To reduce spam, if you are a new user, you must be approved by a moderator before your first post will appear. This will usually happen within a few hours of your first post. You can also subscribe by sending email to "metamath+subscribe @ googlegroups DOT com?subject=Subscribe"

Differentiability

fl