Theorem Hollom.forall₂

Modification history

2026-01-08 15:08
Counterexamples/AharoniKorman.lean
chore(Archive,Counterexamples): find whitespace (#33759) …
Added Hollom.forall₂View on Github →