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


Ref 
Expression 

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

axmulcl 
$${\u22a2}\left({A}\in \u2102\wedge {B}\in \u2102\right)\to {A}{B}\in \u2102$$ 