Commit 2025-06-06 02:35 e32a1c5b

View on Github →

chore(Order/SymmDiff): fix typo (#25509) Rename bihimp_eq_inf_himp_inf to bihimp_eq_sup_himp_inf.

Estimated changes

deleted theorem bihimp_eq_inf_himp_inf
added theorem bihimp_eq_sup_himp_inf