search

metamath / set.mm

Metamath source file for logic and set theory
Other
243 stars 88 forks source link

Least common multiple inequality lemma #3989

Closed metakunt closed 3 months ago

metakunt commented 3 months ago

I will update the description once I have used this result for a different inequality.