Structure MyType

Modification history

2024-10-09 08:43

test/Simps.lean

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

Modified MyType View on Github →

2022-10-23 12:09

test/Simps.lean

feat: port simps (#445) …

Added MyType View on Github →