Post #1724087

RE: https://types.pl/@liamoc/116465039020846254 I can gladly retract this call for assistance, my student is absolutely brilliant and has solved the problem and proved her theorem in Isabelle/HOL!