Irene Lobo Valbuena
Irene Lobo Valbuena
That would be the case if the vector space were over ℝ itself, or another field isomorphic to it. There are finite fields (finite in cardinality, not basis cardinality), for...
Not a problem for the purpose of researching automated theorem proving, but ultimately something to work on for usability with already existing Isabelle/HOL theories.
I won't have enough time to prepare for presenting the next session myself, so would prefer to take my slot later on in the study period.
Excuse the lack of responses from my part. I was away and disconnected the whole of last week (the reason behind my lack of time for the slot this week)....