Theorem id_eq'

Modification history

2026-05-28 08:23
MathlibTest/ToFun.lean
feat(Tactic/ToFun): warn if provided name matches autogenerated one (#39598) …
Added id_eq'View on Github →