From: Mandy Martin <tesleft@hotmail.com>
Hi ,
would like to see the subgoal of lemma which is for implementation of liftM of Monad.
is there an example script of lemma which is liftM coming from?
Regards,
Martin
Last updated: Jul 03 2025 at 01:50 UTC