Def err₂

Modification history

2023-03-16 04:34
test/success_if_fail_with_msg.lean
feat: port `success_if_fail_with_msg` (#2204) …
Added err₂View on Github →