Description: Alias for ax-mulrcl , for naming consistency with remulcli . (Contributed by NM, 10-Mar-2008)
Ref | Expression | ||
---|---|---|---|
Assertion | remulcl | โข ( ( ๐ด โ โ โง ๐ต โ โ ) โ ( ๐ด ยท ๐ต ) โ โ ) |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | ax-mulrcl | โข ( ( ๐ด โ โ โง ๐ต โ โ ) โ ( ๐ด ยท ๐ต ) โ โ ) |