Def bar'

Modification history

2024-01-30 16:52
test/classical.lean
chore: remove classical, it has been moved to Std (#10121)
Deleted bar'View on Github →
2022-11-07 21:34
test/classical.lean
feat: `classical` tactic (#540) …
Added bar'View on Github →