v1.1.0

What's Changed

• Proving application propagation lemma by @berpeti in #435
• Various improvements for substitution, equality elimination by @berpeti in #437
• Simultaneous equality elimination for multiple equalities by @Engreyight in #440
• Extend mlRewriteBy notation by @Thrithralas in #441
• Exists singleton, upgrade to Coq 8.20 by @berpeti in #438
• Update proofmode.md by @berpeti in #444

New Contributors

• @Thrithralas made their first contribution in #441

Full Changelog: v1.0.16...v1.1.0