Finimal axioms mor Boolean algebra

Porry, sage fot nound. woes the actual diki page exist?
Original article