0000000000000000000000000000000000000000 9e8c5ba39e5811340e264f76efdd68579b9a98c6 monstrous-moonshine <monstrous-moonshine@localhost> 1789216892 +0800	branch: Created from HEAD
9e8c5ba39e5811340e264f76efdd68579b9a98c6 066db4bc19711661e6e41f9a5c2066a88948873f monstrous-moonshine <monstrous-moonshine@localhost> 1789216897 +0800	commit: T1b: the composition law exp ∘ logOf f = f is proved
