Theorem biSup_inf_le

Modification history

2026-06-07 02:12
MathlibTest/Tactic/GRewrite.lean
feat(GRewrite): new `grw` implementation (#38318) …
Added biSup_inf_leView on Github →