Structure FBinopTests.DecSubObj

Modification history

2023-05-26 01:31
test/FBinop.lean
feat: `fbinop%` term elaborator to support set product notation (#4308) …
Added FBinopTests.DecSubObjView on Github →