3 ms·Lens as a Divisibility Relation: Goofin’ Off with the Algebra of Types1 points by philzook 7y ago