Theorem finrank_real_complex_fact'

Modification history