Theorem Alias.A.a_iff_a_and_a

Modification history

2023-08-23 04:19
test/Alias.lean
feat: patch for new alias command (#6172)
Deleted Alias.A.a_iff_a_and_aView on Github →
2022-06-30 08:11
test/Alias.lean
feat: port the 'alias' command (#293) …
Added Alias.A.a_iff_a_and_aView on Github →