Def coercing.new_bar

Modification history

2026-02-17 23:08
MathlibTest/Simps.lean
chore: bump toolchain to v4.29.0-rc1 (#35459)
Modified coercing.new_barView on Github →
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 →