Lens as a Divisibility Relation: Goofin’ Off with the Algebra of Typesphilipzucker.com1 pointphilzook7 years ago