Commit 2022-01-13 07:08 e6db2457
View on Github →chore(ring_theory/roots_of_unity): change argument order (#11415)
this is for easier dot notation in situations such as refine.
chore(ring_theory/roots_of_unity): change argument order (#11415)
this is for easier dot notation in situations such as refine.