Theorem algebraMap.coe_expect

Modification history