mathlib3

7a7a5591 - feat(option/basic): add join_eq_none (#6269)