Commit 2023-08-20 21:55 38e1b744

View on Github →

feat: easy lemmas about extrema indexed by a union (#6693)

Estimated changes

added theorem exists_sUnion
added theorem forall_sUnion
added theorem iInf_sUnion
added theorem iSup_sUnion