Theorem Complex.finrank_real_complex_fact

Modification history