Metamath Proof Explorer

Table of Contents - 21.20.8.2. Complex numbers (supplements)

Some lemmas to ease algebraic manipulations.

1. bj-subcom
2. bj-lineqi