Def Tests.eq2

Modification history

2024-03-05 04:47
test/meta.lean
chore: move Mathlib to v4.7.0-rc1 (#11162) …
Deleted Tests.eq2View on Github →
2023-11-17 21:01
test/meta.lean
feat: convenient meta declarations (#7519) …
Added Tests.eq2View on Github →