Structure Tests.Rep

Modification history

2023-06-21 19:20
test/Variable.lean
feat: `variable?` command for automatically adding typeclass dependencies (#3162) …
Added Tests.RepView on Github →