Commit 2023-10-03 10:19 87799c2f

View on Github →

feat: add Algebra.coe_norm_int (#7463) From flt-regular.

Estimated changes

added theorem Algebra.coe_norm_int