Creating Ltac for Proofs Cleanup#12

Open

cruisesong7 wants to merge 7 commits intomainfrom

Commits on Nov 28, 2023

adding ltac in jacob_list_fun_model
cruisesong7
committed

Commits on Dec 7, 2023

cleanup with jacob_list_fun_model and inf_norm_properties
cruisesong7
committed

Commits on Jan 21, 2024

futher cleanup with fma_jacobi_foward_err
cruisesong7
committed

Commits on Feb 5, 2024

Commits on Feb 6, 2024

refactor last theorem
cruisesong7
committed

Commits on May 7, 2024

inverse_mat_norm_bound for block jacobi
cruisesong7
committed