Theorem Alias.checkType

Modification history

2023-08-23 04:19
test/Alias.lean
feat: patch for new alias command (#6172)
Deleted Alias.checkTypeView on Github →
2022-12-15 19:18
test/Alias.lean
fix: alias uses type of lemma (#1058) …
Added Alias.checkTypeView on Github →