Example ex4-171
Prev:
ex4-170
Next:
ex4-172
A
5
<math> <apply> <eq/> <apply><card/> <ci> A </ci> </apply> <ci> 5 </ci> </apply> </math>