Theorem LinearMap.finrank_range_dualMap_eq_finrank_range

Modification history