Theorem Algebra.coe_infₛ

Modification history