Commit 2022-06-01 13:04 663db50a

View on Github →

fix: remove syntactic tautology (#278)

Estimated changes

deleted theorem Equiv.to_fun_as_coe