Commit 2025-09-04 11:48 5a89224e

fix: respect pp options in delaboration of max/min notation (#29312) This fixes an issue where ⊔ and ⊓ notation did not respect pp.explicit and pp.notation. As discussed on Zulip, this implements the fix suggested by @kmill.