Commit 2023-10-26 14:48 8cd944d0

View on Github →

Fix: add two simp lemmas about complete lattice homs (#7959) related lemmas for sInf etc are simp

Estimated changes

modified theorem map_iInf
modified theorem map_iSup