Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ae_seq.ae_seq_eq_fun_ae

Modification history