yellowsquid/cfe-proof.git/src/Cfe/Vec/Relation/Binary/Pointwise, branch master [no description] http://git.yellowsquid.uk/yellowsquid/cfe-proof.git/atom?h=master 2021-04-29T19:58:04Z Finally prove that e [ μ e / zero ] ≈ μ e. 2021-04-29T19:58:04Z Chloe Brown chloe.brown.00@outlook.com 2021-04-29T19:58:04Z urn:sha1:8abb1b5601fabf5e7560d08faa6e633e60663e0a Complete proof of generator.