Generalize frac to dfrac in view camera
The use of
frac in the view camera could be generalized to
dfrac. This would make it possible to "freeze" or persist the authorative element. I don't have a use case for this myself, but, if I recall correctly, @jung or @tchajed had one?
The notation would be the same as for the points-to predicate, and in the future the custom entries
dfrac notation could be reused for this. The view camera is rather new, so breaking changes here are less critical, and it thus seems like a fine place to start with regards to trying to use
What do you think? I'd like to work on this if there is support.