Theorem LieModule.polyCharpoly_coeff_rank_ne_zero

Modification history