Theorem Subspace.finrank_add_finrank_dualAnnihilator_eq

Modification history