Add missing description for predicate-quantifier#244
Closed
fasmat wants to merge 1 commit intodorny:masterfrom
fasmat:add-missing-description
Closed
Add missing description for predicate-quantifier#244fasmat wants to merge 1 commit intodorny:masterfrom fasmat:add-missing-description
fasmat wants to merge 1 commit intodorny:masterfrom
fasmat:add-missing-description