Theorem RootPairing.finrank_corootSpan_eq'

Modification history