Theorem finrank_zero_iff_forall_zero

Modification history