Structure Top'

Modification history

2026-10-31 04:12
MathlibTest/Simps.lean
feat: use `max`/`min` for `union`/`inter` in `Set`, `Finset`, `ZFSet`, `Class` (#42316) …
Added Top'View on Github →