Metamath Proof Explorer
Description: Alias for axmulass , for naming consistency with mulassi .
(Contributed by NM, 10Mar2008)


Ref 
Expression 

Assertion 
mulass 
$${\u22a2}\left({A}\in \u2102\wedge {B}\in \u2102\wedge {C}\in \u2102\right)\to {A}{B}{C}={A}{B}{C}$$ 
Proof
Step 
Hyp 
Ref 
Expression 
1 

axmulass 
$${\u22a2}\left({A}\in \u2102\wedge {B}\in \u2102\wedge {C}\in \u2102\right)\to {A}{B}{C}={A}{B}{C}$$ 