Commit 2023-08-23 04:19 19e0ba92

View on Github →

feat: patch for new alias command (#6172)

Estimated changes

deleted theorem Alias.A.a_iff_a_and_a
deleted theorem Alias.A.ab_iff_ba
deleted def Alias.A.bar
deleted theorem Alias.A.baz
deleted theorem Alias.A.foo
deleted def Alias.baz
deleted theorem Alias.checkType
deleted def Alias.foo