Commit 2024-10-09 12:34 f377dcaf

View on Github →

chore: add coercion for Setoid (#16254) Also pretty print @Setoid.r _ s a b as s a b.

Estimated changes

modified theorem Setoid.ext