-
iris!686
-
iris!685
-
iris!683
-
iris!681
-
iris!680
-
refinedc!61
-
Multiset set notation 2 of 2 checklist items completedstdpp!232
-
refinedc!54
-
refinedc!53
-
WIP: Prepend introduction pattern `H.ipat`. 0 of 1 checklist item completed