[Merged by Bors] - feat: the natural filtration of a process is the filtration generated by the process#39754

EtienneC30 wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

EtienneC30:natural_eq_comapEtienneC30/mathlib4:natural_eq_comapCopy head branch name to clipboard