Mathlib v3 is deprecated. Go to Mathlib v4

Theorem times_cont_diff.dense_compl_range_of_finrank_lt_finrank

Modification history