Commit 2024-11-13 20:46 bfe930f9

View on Github →

chore: add deprecated inf_eq_min that was accidentally removed (#18994)

Estimated changes

added theorem inf_eq_min
added theorem sup_eq_max