mappings_edge.hamlbars revision 262c65af76b07012ec44d6e6399358f83baff4ea
%ul#edge_info
%li
%span Link:
%a{href: '{{url}}'}
{{edge.source.info.name}} → {{edge.target.info.name}}
%li
%span Kind:
%span {{edge.info.kind}}
%li
%span Theorem:
%span {{edge.info.theorem}}
%li
%span Proven:
%span {{edge.info.proven}}
%li
%span Local:
%span {{edge.info.local}}
%li
%span Inclusion:
%span {{edge.info.inclusion}}