Structure Cat

Modification history

2024-10-09 08:43

test/NthRewrite.lean

chore: adaptations for lean4#5542 (#17564) …

Modified Cat View on Github →

2023-04-17 07:18

test/NthRewrite.lean

chore: copy over some nth_rewrite tests from mathlib3 (#3462) …

Added Cat View on Github →