Theorem LinearEquiv.finrank_eq

Modification history