search

metamath / set.mm

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

mathbox wl-ifp4impr #4053

Closed wlammen closed 3 months ago

wlammen commented 3 months ago
  1. Mathbox: add wl-ifp4impr and shorten wl-df3-3mintru2 with it
  2. Delete outdated OLD theorems.