Theorem AlternatingMap.coe_smulRight

Modification history