Def coercing.new_bar

Modification history

2025-10-21 12:12
MathlibTest/Simps.lean
chore: remove redundant fields from instances (#30734) …
Modified coercing.new_barView on Github →
2022-10-23 12:09
test/Simps.lean
feat: port simps (#445) …
Added coercing.new_barView on Github →