Zulip Chat Archive
Stream: general
Topic: matrix coeff
Yaël Dillies (Aug 05 2021 at 11:59):
What's the naming convention for lemmas about M i j where M : matrix m n α? apply?
Anne Baanen (Aug 05 2021 at 12:00):
Indeed! cf docs#matrix.mul_apply
Last updated: Dec 20 2023 at 11:08 UTC