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) …

Deleted Top View on Github →

2022-10-23 12:09

test/Simps.lean

feat: port simps (#445) …

Added Top View on Github →