Structure MyProd

Modification history

2024-10-13 11:16

test/Simps.lean

chore: more adaptations for lean4#5542 (#17688) …

Modified MyProd View on Github →

2022-10-23 12:09

test/Simps.lean

feat: port simps (#445) …

Added MyProd View on Github →