search

metamath / set.mm

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

shorten wl-3mintru2an #3994

Closed wlammen closed 3 months ago

wlammen commented 3 months ago
  1. mathbox: shorten wl-3mintru2an
  2. delete outdated OLD theorems