Comment on Leanstral 1.5: Proof abundance for allparentComments−collingreen2moWhich is an intentional failure of the system
Comments
Which is an intentional failure of the system