Commit 2026-10-27 23:51 e20b4f3e

View on Github →

feat: valuative extensions preserve =ᵥ relation (#45320) Also make the arguments of vle_iff_vle implicit, matching most other iff statements.

Estimated changes