Def FBinopTests.DecSubObj.prod

Modification history

2024-07-25 00:13
test/FBinop.lean
chore: long lines in tests (#15111) …
Modified FBinopTests.DecSubObj.prodView on Github →
2023-05-26 01:31
test/FBinop.lean
feat: `fbinop%` term elaborator to support set product notation (#4308) …
Added FBinopTests.DecSubObj.prodView on Github →