Commit 2026-02-10 20:11 a0dba334

View on Github →

feat: eight small complete lattices lemmas (#34812)

Estimated changes

added theorem biInf_sup_le_biInf_sup
added theorem biSup_inf_le_biSup_inf
added theorem biSup_inf_le_inf_biSup
added theorem iInf_sup_le_iInf_sup
added theorem iSup_inf_le_iSup_inf
added theorem iSup_inf_le_inf_iSup
added theorem sup_biInf_le_biInf_sup
added theorem sup_iInf_le_iInf_sup