https://www.x6turfturf.com.co/post/red-black-tree-in-lean-4-prover-with-everything-proved-0ds8ia<meta http-equiv='refresh' content='0;url=https://www.x6turfturf.com.co/post/red-black-tree-in-lean-4-prover-with-everything-proved-0ds8ia'>