Theorem ex8

Modification history

2025-07-05 12:03

MathlibTest/congr.lean

style: replace `HEq x y` with `x ≍ y` (#26775) …

Modified ex8 View on Github →

2023-03-03 08:54

test/congr.lean

feat: tactic `congr!` and improvement to `convert` (#2566) …

Added ex8 View on Github →