Theorem Associated.prod'

Modification history

2026-02-21 23:47
MathlibTest/TacticAnalysis.lean
chore: weekly lints for 2026-02-16 (#35490) …
Added Associated.prod'View on Github →