section ‹Lenses› theory Lenses imports Lens_Laws Lens_Algebra Lens_Order Lens_Symmetric Lens_Instances begin end